B-Tropos Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification
نویسندگان
چکیده
The analysis of business requirements and the specification of business processes are fundamental for the development of information systems. The first part of this paper presents B-Tropos as a way to combine business goals and requirements to the business process model. B-Tropos enhances a well-known agent-oriented early requirements engineering framework with declarative business process-oriented constructs, inspired by the DecSerFlow and ConDec languages. In the second part of the paper, we show a mapping of B-Tropos onto SCIFF, a computational logic-based framework, for properties and conformance verification.
منابع مشابه
Engineering and Verifying Agent-Oriented Requirements augmented by Business Constraints with B-Tropos∗
We propose B-Tropos as a modeling framework to support agent-oriented systems engineering, from high-level requirements elicitation down to execution-level tasks. In particular, we show how B-Tropos extends the Tropos methodology by means of declarative business constraints, inspired by the ConDec graphical language. We demonstrate the functioning of B-Tropos using a running example inspired by...
متن کاملExtending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach
Abstract. The analysis of business requirements and the specification of business processes are fundamental for the development of information system. The focus of this paper is on the combination of these two phases, that is, on linking the business goals and requirements to the business process model. To this end, we propose to extend the Tropos framework, which is used to model system and bu...
متن کاملRequirements Engineering Meets Trust Management: Model, Methodology, and Reasoning
The last years have seen a number of proposals to incorporate Security Engineering into mainstream Software Requirements Engineering. However, capturing trust and security requirements at an organizational level (as opposed to a design level) is still an open problem. This paper presents a formal framework for modeling and analyzing security and trust requirements. It extends the Tropos methodo...
متن کاملA Goal-Oriented Software Testing Methodology
Goal-oriented requirements engineering methodologies have been investigated for more than a decade, aiming at better supporting requirements engineering. They help elicit users’ requirements, deal with stakeholders’ goals and strategic dependencies among them. Moreover, they allow representing alternative solutions so that stakeholders and developers can negotiate and choose the one that meets ...
متن کاملA systematic review of security requirements engineering
a r t i c l e i n f o One of the most important aspects in the achievement of secure software systems in the software development process is what is known as Security Requirements Engineering. However, very few reviews focus on this theme in a systematic, thorough and unbiased manner, that is, none of them perform a systematic review of security requirements engineering, and there is not, there...
متن کامل